1. Models, algebras and logic of engineering software
پدیدآورنده: edited by Manfred Broy and Markus Pizka
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Computer programs ، Engineering,Data processing ، Engineering,، Software engineering,، Computer software -- Development,، System design
رده :
TA
345
.
N28
2002
